PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 3 results. Subscribe to this search

Unhighlight Highlight
|
1.
Induction, Algorithmic Learning Theory, and Philosophy : [electronic resource] /

by Friend, Michèle [editor.] | Goethe, Norma B [editor.] | Harizanov, Valentina S [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIV, 290 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2007.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
2.
Information and Knowledge : A Constructive Type-theoretical Approach / : [electronic resource] :

by Primiero, Giuseppe [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: IX, 208 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart
3.
The Unity of Science in the Arabic Tradition : Science, Logic, Epistemology and their Interactions / : [electronic resource] :

by Rahman, Shahid [editor.] | Street, Tony [editor.] | Tahiri, Hassan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: not fiction Description: XIII, 390 p. online resource.Publisher: Dordrecht : Springer Netherlands, 2008.Online access: Click here to access online Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).

Place hold Add to cart

Powered by Koha